منابع مشابه
?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملToward a Formal Common Information Model Ontology
Self-managing systems will be highly dependent upon information acquired from disparate applications, devices, components and subsystems. To be effectively managed, such information will need to conform to a common model. One standard that provides a common model for describing disparate computer and network information is the Common Information Model (CIM). Although CIM defines the models nece...
متن کاملToward a Formal Ontology of Time from Aspects
We present a work in the field of formal ontologies, notion taken from the knowledge representation community. What we study is the concept of time and aspect described and conceptualized from linguistics. Our aim is thus to propose a formal ontology of time and aspect considering temporal concepts introduced in a formal way.
متن کاملToward a formal ontology of time and aspect
We present a work in the scope of formal ontologies, notion taken from the knowledge representation community. What we study is the concept of time and aspect described and conceptualized from linguistics. Our aim is thus to propose a formal ontology of time and aspect considering temporal concepts introduced in a formal way. Introduction Our aim is to precise some concepts and properties of ti...
متن کاملFormal Ontology for Subject
Subject-based classi®cation is an important part of information retrieval, and has a long history in libraries, where a subject taxonomy was used to determine the location of books on the shelves. We have been studying the notion of subject itself, in order to determine a formal ontology of subjects for a large-scale digital library card catalog system. Deep analysis reveals a lot of ambiguity ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Matlit Revista do Programa de Doutoramento em Materialidades da Literatura
سال: 2016
ISSN: 2182-8830
DOI: 10.14195/2182-8830_4-1_2